OBJ - définition. Qu'est-ce que OBJ
Diclib.com
Dictionnaire en ligne

Qu'est-ce (qui) est OBJ - définition

WIKIMEDIA DISAMBIGUATION PAGE
.obj; Obj (disambiguation); OBJ (disambiguation); Obj

OBJ         
Joseph Goguen 1976. A family of declarative "ultra high level" languages. Abstract types, generic modules, subsorts (subtypes with multiple inheritance), pattern-matching modulo equations, E-strategies (user control over laziness), module expressions (for combining modules), theories and views (for describing module interfaces). For the massively parallel RRM (Rewrite Rule Machine). ["Higher-Order Functions Considered Unnecessary for Higher-Order Programming", J.A. Goguen, in Research Topics in Functional Programming].
OBJ (programming language)         
PROGRAMMING LANGUAGE FAMILY
OBJ2; OBJ3
OBJ is a programming language family introduced by Joseph Goguen in 1976, and further worked on by Jose Meseguer.
OBJ3         
PROGRAMMING LANGUAGE FAMILY
OBJ2; OBJ3
<language> A version of OBJ based on {order-sorted rewriting}. OBJ3 is agent-oriented and runs on AKCL. E-mail: <obj3sys@crl.sri.com>, <obj3dist@csl.sri.com>. ["Introducing OBJ3", J. Goguen et al, SRI-CSL-88-9, SRI Intl, 1988]. (1995-03-16)

Wikipédia

OBJ

Obj or OBJ may refer to:

  • Object file, an organized machine code file created by a compiler with .obj file extension
    • Relocatable Object Module Format, an Object file for Intel microprocessors with .obj file extension
  • Wavefront .obj file, a 3D geometry definition file format with .obj file extension
  • OBJ (programming language), a programming language family developed in 1976, including OBJ2 and OBJ3
  • U+FFFC OBJECT REPLACEMENT CHARACTER, a replacement character used in computing
  • Odell Beckham Jr., American football player, nicknamed OBJ
  • Olusegun Obasanjo, 5th and 12th President of Nigeria, nicknamed OBJ
  • Ottawa Business Journal, a weekly business publication in Ottawa, Ontario, Canada